R{-}state{-}var{-}init($i$; ${\it ds}$; ${\it da}$; $x$; $T$; $v$; ${\it ks}$; ${\it tr}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Rplus(R{-}state{-}var($i$; ${\it ds}$; ${\it da}$; $x$; $T$; ${\it ks}$; ${\it tr}$); Rinit($i$; $T$; $x$; (inl $v$ )))